Construction par sous-ensembles - L`existence même d`une conversion, et l`existence d`un algorithme pour la réaliser, est remarquable et utile. Elle est remarquable parce qu`il existe peu de modèles de machines pour lesquels les versions déterministe et non déterministe ont la même puissanc...